Physical systems

Results: 4908



#Item
1Knowledge representation / Search algorithms / Network theory / Mathematics / Connectivity / Tree / Breadth-first search / Discrete mathematics / Combinatorics / Networks / Centrality

2010 International Conference on Distributed Computing Systems Optimizing the Spatio-Temporal Distribution of Cyber-Physical Systems for Environment Abstraction Linghe Kong, Dawei Jiang, Min-You Wu Shanghai Jiao Tong Un

Add to Reading List

Source URL: wirelesslab.sjtu.edu.cn

Language: English - Date: 2015-04-14 12:01:50
2Model checkers / Software engineering / Formal methods / Theoretical computer science / Software quality / Computing / PRISM model checker / Model checking / Formal verification / Markov chain / Stochastic / Reliability engineering

Advances and Challenges of Quantitative Verification and Synthesis for Cyber-Physical Systems Marta Kwiatkowska Department of Computer Science, University of Oxford, UK Abstract—We are witnessing a huge growth of cyber

Add to Reading List

Source URL: qav.comlab.ox.ac.uk

Language: English - Date: 2016-09-02 06:46:32
3

Modelica - A Unified Object-Oriented Language for Physical Systems Modeling Version 3.2 Revision 2

Add to Reading List

Source URL: www.modelica.org

Language: English - Date: 2017-11-09 12:12:33
    4

    Govt. of India Ministry of Science & Technology Department of Science & Technology Interdisciplinary Cyber Physical Systems (ICPS) Division Detailed Call For Proposals (CFP) under ICPS programme. Last date for receipt of

    Add to Reading List

    Source URL: www.sric.iitkgp.ac.in

    Language: English - Date: 2017-12-07 08:08:15
      5

      Project Profile EMPHYSIS Enhanced production code for improved system performance The major goal of the ITEA project EMPHYSIS (EMbedded systems with PHYSical models In the production code Software) is to enhance the pro

      Add to Reading List

      Source URL: itea3.org

      Language: English
        6

        Framework for Cyber-Physical Systems Release 1.0 May 2016 Cyber Physical Systems Public Working Group

        Add to Reading List

        Source URL: s3.amazonaws.com

        Language: English - Date: 2016-06-20 16:12:01
          7

          ModelicaTM - A Unified Object-Oriented Language for Physical Systems Modeling TUTORIAL and RATIONALE Version 1.1 December 15, 1998 H. Elmqvist1,

          Add to Reading List

          Source URL: www.modelica.org

          Language: English - Date: 2010-10-22 20:29:58
            8

            Der Forschungsbereich Cyber-Physical Systems (Direktor: Prof. Dr. Rolf Drechsler) des Deutschen Forschungszentrums für Künstliche Intelligenz (DFKI) bearbeitet mit über 20 Mitarbeitern nationale und internationale For

            Add to Reading List

            Source URL: www-cps.hb.dfki.de

            Language: German
              9

              Géza KOLUMBÁN Pázmány Péter Catholic University, Budapest, Hungary Limits and applicability of UWB Impulse Radio Technology in Cyber-Physical Systems, In-Car

              Add to Reading List

              Source URL: users.itk.ppke.hu

              Language: English - Date: 2017-10-06 05:47:59
                UPDATE